1·Mathematical logic can produce some great trivia.
数学逻辑能够推理一些极其细微的现象。
2·A. Study mathematics, especially mathematical logic.
数学，特别是数学逻辑。
3·I don't understand the complicated mathematical logic calculation.
我不明白这复杂的数理逻辑运算。
4·Mathematical logic is one of the difficulties of "Discrete Mathematics".
数理逻辑是《离散数学》的难点之一。
5·In mathematical logic in the study is the main target of all kinds of calculus.
在数理逻辑中研究的主要对象是各种演算。
6·I learn the formulas that have been proved by mathematical logic and empirical evidence.
我学到的是已经被数学推理和实际经验所证明的公式。
7·Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
8·Therefore, intelligence inference should not be based upon the orthodox mathematical logic.
因此，情报推理不能以正统数理逻辑作为推理工具。
9·Principles of Mathematical Logic represents one of Hilbert's important contributions to that debate.
数学逻辑原则代表了该次辩论的希尔伯特的重要贡献之一。
10·I am allowed to use plain English because everybody knows that I could use mathematical logic if I chose.
因为每个人都知道如果我想我可以使用数学逻辑，所以允许我使用简明易懂的英文。